|
|
Analýza modelů chování pilota při řízení letu letounu
Jirgl, Miroslav ; Štefek, Alexandr (oponent) ; Blecha, Petr (oponent) ; Bradáč, Zdeněk (vedoucí práce)
Práce se zabývá modelováním lidského chování, resp. modelováním chování pilota, při řízení letu letounu z pohledu systémů automatického řízení. Pro tyto účely je nejprve prezentován úvod do problematiky popisu a modelování jednotlivých komponent celistvého systému pilot-letoun a na základě těchto poznatků jsou pak vytvořeny simulační modely tohoto systému získané pomocí reálně naměřených dat. Jelikož je získávání dat z reálného letu poměrně problematické, je pro účely této práce využit letecký simulátor na Univerzitě obrany v Brně. Na tomto simulátoru byla realizována řada experimentálních měření reakcí pilotů na vizuální podnět za účelem získání poznatků o jejich aktuálním stavu vycvičenosti (z pohledu dynamického chování) a dále o způsobech a přístupech k řízení. V této fázi byly realizovány dvě sady měření s 8 piloty asi s půlročním odstupem, během kterého piloti navíc absolvovali povinný letový výcvik. Během první sady měření tak byla průměrná letová praxe pilotů asi 60 hodin, během druhé sady okolo 80 hodin. Získané poznatky jsou pak dále analyzovány zejména pomocí metod používaných v teorii automatického řízení za účelem možného vyhodnocení aktuálního stavu a schopností pilotů s ohledem právě na absolvovaný výcvik.
|
|
| |
|
|
Simulátor průmyslové komunikace standardu IEC 61850
Srp, Jakub ; Pospíšil, Ondřej (oponent) ; Blažek, Petr (vedoucí práce)
Práce se zabývá komunikačními protokoly podle standardu IEC 61850. Konkrétně se jedná o protokoly SMV (Sampled Measured Values), GOOSE (Generic Object Oriented Substation Events) a MMS (Manufacturing Message Specification) a jejich využití v systémech SCADA. V práci je navržen simulátor, který na zařízení Raspberry Pi simuluje komunikaci pomocí zmíněných protokolů, dle standardu IEC 61850. Je simulována ochrana přepětí, podpětí, jistič, odpojovač, HMI. Pro ovládání stanice je využit protokol MMS. Simulace je ovlivnitelná uživatelem z konfiguračních textových souborů.
|
|
|
Ovladače do PLC TC700/Foxtrot pro ochrany REF630/REF615
Till, Přemysl ; Bradáč, Zdeněk (oponent) ; Štohl, Radek (vedoucí práce)
Práce se zabývá komunikací v průmyslových systémech, konkrétně standardem IEC 61850. Teoretická část obsahuje rešerši informačních zdrojů zabývajících se IEC 61850 a stručné shrnutí datového modelu a modelu vertikální komunikace, definovaných tímto standardem. V praktické části byla navržena a vytvořena knihovna, umožňující vertikální ovládání stanice splňující IEC 61850 automatem řady Foxtrot či TC700 od firmy Tecomat, k čemuž poskytuje funkční bloky pro vytvoření komunikačního kanálu, vyčtení a zápis dat. Funkčnost byla otestována na ovladačích ochran REF630 firmy ABB.
|
|
| |
|
|
Testování zranitelností v průmyslových sítích
Zahradník, Jiří ; Fujdiak, Radek (oponent) ; Blažek, Petr (vedoucí práce)
Práce simuluje vybrané zranitelnosti standardu IEC 61850 a následně řeší mitigační opatření pro zvolené zranitelnosti. Autor simuloval zranitelnosti protokolu GOOSE, útok na NTP a útok na MMS klienta. Konkrétně se jedná o GOOSE stNum, GOOSE semantic, GOOSE test bit, GOOSE replay, GOOSE flood, NTP spoofing a MMS password capture. Útoky na protokoly GOOSE a MMS byly úspěšné, útok na NTP byl pouze částečně úspěšný, kdy došlo k potvrzení přijatého času, ale ne k jeho převzetí. Autor následně navrhnul možná mitigační opatření. Byl také vytvořen automatizační nástroj pro testování daných zranitelností, parser pro protokol GOOSE a přenositelný parser konfiguračních souborů.Výsledky práce umožňují implementovat rozsáhlejší nástroj pro penetrační testování prů-myslových sítí, stejně jako umožňují implementovat daná mitigační opatření.
|
|
|
Use of some molecular techniques to metabolic characterization of industrially significant yeasts
Kostovová, Iveta ; Brázda, Václav (oponent) ; Kráčmar, Stanislav (oponent) ; Márová, Ivana (vedoucí práce)
Carotenoids, ergosterol and fatty acids are valuable compounds used in food, feed and cosmetic industries. Since their conventional sources depend on weather conditions, season, geographical location, and availability of agricultural land, it is necessary to increase its availability for constantly increasing demand. Microbial production of aforementioned compounds exploiting carotenogenic yeast is promising due to their extraordinary capability to simultaneously produce carotenoids, ergosterol and fatty acids. Hereby Doctoral Thesis was aimed to provide the molecular and metabolic characterisation of various carotenogenic yeasts and their potential for industrial applications. For this purpose, the first experimental parts are focused in great detail on yeast species R. mucilaginosa and R. toruloides, their production properties and the influence of nutritional stress and different carbon sources, such as xylose and glycerol. Besides the detailed characterization of their production properties, were these strains also characterized by molecular methods, including sequence analysis of ITS1, ITS2 and D1/2 of the ribosomal operon and analysis of mini and microsatellite sequences M13 and GTG5. R. toruloides is known as an excellent producer of fatty acids and because of it, it recently became a target carotenogenic yeast for the development of tools for its genetic manipulation. In this work were successfully prepared genetically modified clones of R.toruloides bearing over-expressed genes for DGA1 (diacylglycerol acyltransferase) and GPD1 (glycerol-3-phosphate dehydrogenase). Their production of fatty acids was not higher in comparison to the original strain. Therefore, the next part was focused on the preparation of overproducing mutant strains prepared by random mutagenesis. The combination of nitrogen limitation and the carotenoid production inhibitor diphenylamine led to the successful selection of carotenoid overproducing robust mutant strains with resistance to diphenylamine. The last part of the thesis deals with the production properties of lesser known carotenogenic yeast species among order Sporidiobolales and Cystofilobasidales in comparison to relatively well studied carotenogeic yeast species represented by R. toruloides and P. rhodozyma. The best fatty acid-producing strains were S. metaroseus CCY19-6-20 and C. macerans CCY 10-01-02. Moreover, the best carotenoid producer, R.mucilaginosa CCY 19-04-06, naturally produced lycopene in amounts representing more than 80 % of total carotenoids.
|
|
|
Rozpoznávání energetických protokolů pomocí umělé inteligence
Racka, Jan ; Holasová, Eva (oponent) ; Bohačík, Antonín (vedoucí práce)
Diplomová práce je zaměřena na klasifikaci zabezpečeného síťového provozu energetických protokolů pomocí konvoluční neuronové sítě. V teoretické části je rozebrána problematika neuronových sítí a jejich využití při klasifikaci síťového provozu. Dále jsou rozebrány energetické protokoly Modbus, IEC 104, TASE.2, DNP3, GOOSE, SMV, MMS a standard DLMS/COSEM včetně zabezpečení. V následné praktické části je realizována konvoluční neuronová síť sloužící k rozpoznání zmíněných protokolů v jejich zabezpečených variantách. Pro natrénovaní sítě byly použity záznamy nezabezpečeného provozu z veřejně dostupných repositářů, ze simulátorů provozu daných protokolů a ze zachycených dat v energetickém polygonu. Pro získání zabezpečeného provozu byly vyvinuty TLS a GOOSE konvertory zajišťující jednotný přístup v zabezpečení protokolů. Výsledný zabezpečený provoz byl předzpracován do dvojrozměrného formátu a předložen k učení neuronové síti. Vstupní obraz byl vytvořen z aplikačních částí paketů relace energetického protokolu a naformátován do velikosti 28 × 28 bajtů. Výsledná přesnost sítě na testovacích datech byla 95,75 %. Dále byla síť testována na reálném provozu v energetickém polygonu, kde byla schopna některé protokoly správně rozeznat. Následně byl v rámci dílčího cíle práce vyvinut klasifikátor provozního stavu stanice komunikující pomocí IEC 104 s TLS. Klasifikátor byl tvořen konvoluční neuronovou sítí s definovaným dvojrozměrným vstupním obrazem. Obraz byl složen z informací pětice po sobě jdoucích paketů. Informace byly vytvořeny z mezičasu příchodu mezi pakety, z délky TLS zašifrovaných aplikačních dat a ze zašifrovaných aplikačních dat do velikost 64 B. Pro získání dostatku dat pro trénování konvoluční sítě byl vyvinut simulátor charakteristických zpráv pro jednotlivé stavy. Po ukončení učící fáze byla vykázána přesnost klasifikátoru 43,05 % na testovacích datech. Dále byl klasifikátor testován na samotné testované stanici. Pomocí klasifikátoru byl rozeznán běžný provoz stanice od událostí, avšak v případě událostí podobného charakteru docházelo k záměnám.
|
|
|
Fuzzy modely chování řidiče
Fišer, Michal ; Mihálik, Ondrej (oponent) ; Jirgl, Miroslav (vedoucí práce)
Diplomová práce se zabývá nalezením vhodného fuzzy modelu pro aproximaci datových řad reprezentujících řídící zásahy řidiče při změně jízdního pruhu. Nejprve je v teoretické části představen úvod do problematiky modelování řidiče a systémů člověk-stroj, základy fuzzy logiky, fuzzy systémů a regulátorů, metody optimalizace a simulátor řízení vozidla. Práce se zaměřuje v oblasti modelování chování řidiče zejména na McRuerovy modely chování lidského operátora a v oblasti metod optimalizace na genetické algoritmy. Na~základě této teorie jsou následně vytvořeny jednotlivé lineární modely chování řidiče. Data byla získávána na simulátoru řízení vozidla. Na tomto simulátoru bylo provedeno několik experimentů měření na reakci řidiče na skokovou změnu. Následně z naměřených dat byly identifikovány jednotlivé modely řidiče pomocí System Identification Toolboxu v~programu Matlab. Dále je zde popsán návrh vhodné struktury fuzzy modelu. Poté následuje popis genetického algoritmu použitého pro identifikaci fuzzy modelu a na závěr jsou porovnány lineární a fuzzy modely.
|
|
|
Vliv počtu vlícovacích bodů na přesnost mobilního laserového skenování
Nosek, Jakub ; Kalvoda, Petr ; Kuruc, Michal ; Volařík, Tomáš
Mobilní laserové skenování (MLS) je v současné době běžně využíváno v řadě geodetických aplikací, např. při mapování rozsáhlých oblastí. Tento článek se zaměřuje na vliv počtu vlícovacích bodů na výslednou přesnost bodových mračen MLS. MLS mračno bylo porovnáno s referenčními daty v podobě bodů testovacího pole určeného s vysokou přesností a referenčního mračna terestrického laserového skenování. Testování potvrdilo požadavky výrobce na maximální vzdálenost mezi vlícovacími body 100. Vlícování s vyšší hustotou (až 50 m) umožňuje odstranit lokální deformace v mračnech MLS.
|
host ::
RSS.